11.75/11.96	unsat
