16.25/20.52	unsat
