7.19/12.10	unsat
