11.88/11.93	unsat
