17.56/17.93	unsat
