17.52/17.81	unsat
