28.23/28.34	unsat
