13.78/13.86	unsat
