17.24/17.43	unsat
