17.15/36.69	unsat
