10.64/12.10	unsat
