17.39/19.32	unsat
