247.92/252.67	unsat
