13.97/15.85	unsat
