7.17/7.30	unsat
