17.45/17.89	unsat
