927.91/1053.68	unsat
