5.27/8.25	unsat
