17.24/21.88	unsat
