27.02/29.96	unsat
