4.67/4.72	unsat
