4.72/4.81	unsat
