16.84/19.12	unsat
