11.86/11.96	unsat
