17.37/17.44	unsat
