11.87/11.96	unsat
