13.16/15.69	unsat
