14.75/16.86	unsat
