16.84/16.91	unsat
