11.89/11.96	unsat
