28.80/30.60	unsat
