903.92/1048.72	unsat
