15.15/19.69	unsat
