9.66/12.23	unsat
