17.44/17.58	unsat
