17.06/19.72	unsat
