246.83/248.13	unsat
