11.66/12.35	unsat
