25.40/27.71	unsat
