17.35/17.43	unsat
