1.68/7.23	unsat
