17.56/17.74	unsat
