11.80/11.83	unsat
