11.66/12.31	unsat
