16.09/19.86	unsat
