17.36/17.95	unsat
