4.39/4.72	unsat
