3.40/3.60	unsat
