13.75/13.86	unsat
