17.26/19.72	unsat
