16.35/17.39	unsat
