16.76/18.99	unsat
