11.42/11.77	unsat
