5.25/5.30	unsat
