25.36/27.16	unsat
