5.47/7.72	unsat
