27.03/29.40	unsat
