16.94/20.09	unsat
