27.72/30.60	unsat
