25.05/27.97	unsat
