11.66/12.77	unsat
