27.92/28.93	unsat
