16.76/17.15	unsat
