17.24/17.95	unsat
