17.24/17.39	unsat
