17.56/17.95	unsat
