10.66/12.16	unsat
