587.27/591.72	unsat
