13.57/15.69	unsat
