16.76/18.12	unsat
