25.53/27.77	unsat
