14.75/14.86	unsat
