16.76/20.07	unsat
