6.18/6.30	unsat
