11.76/11.96	unsat
