15.75/16.86	unsat
