13.27/15.69	unsat
