1.43/7.10	unsat
