4.48/5.10	unsat
