593.28/593.76	unsat
