615.88/617.70	unsat
