11.66/11.96	unsat
