5.08/7.23	unsat
