17.48/17.89	unsat
