0.39/0.60	unsat
