9.18/11.77	unsat
