17.06/17.72	unsat
