17.44/17.51	unsat
