13.47/15.86	unsat
