4.87/7.23	unsat
