5.49/7.72	unsat
