11.84/11.96	unsat
