468.37/584.02	unsat
