16.84/19.15	unsat
