9.77/11.93	unsat
