217.29/217.73	unsat
