5.36/6.30	unsat
