4.27/5.60	unsat
