14.22/15.86	unsat
